top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Autore Ebbinghaus, Heinz-Dieter
Pubbl/distr/stampa Berlino [etc.] : Springer, c1995
Descrizione fisica XV, 327 p. : ill. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Flum, Jörg
Collana Perspectives in Mathematical Logic
Soggetto topico Teoria dei modelli
Logica matematica
ISBN 3-540-60149-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011241
Ebbinghaus, Heinz-Dieter  
Berlino [etc.] : Springer, c1995
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Autore Ebbinghaus, Heinz-Dieter
Pubbl/distr/stampa Berlin, : Springer, 1995
Descrizione fisica XV, 327 p. : ill. ; 25 cm.
Soggetto topico 03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020]
ISBN 978-35-406-0149-4
35-406-0149-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055754
Ebbinghaus, Heinz-Dieter  
Berlin, : Springer, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
Autore Ebbinghaus, Heinz-Dieter
Pubbl/distr/stampa Berlin, : Springer, 1995
Descrizione fisica XV, 327 p. : ill. ; 25 cm
Soggetto topico 03D15 - Complexity of computation [MSC 2020]
68P15 - Database theory [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020]
ISBN 35-406-0149-X
978-35-406-0149-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0055754
Ebbinghaus, Heinz-Dieter  
Berlin, : Springer, 1995
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Autore Ebbinghaus, Heinz-Dieter
Edizione [3. ed]
Pubbl/distr/stampa Cham, : Springer, 2021
Descrizione fisica ix, 304 p. : ill. ; 24 cm
Altri autori (Persone) Flum, Jörg
Thomas, Wolfgang <1947- >
Soggetto non controllato Axiom system logic
Computability logic
First-order language
First-order logic
Graduate mathematical logic
Gödel’s completeness theorem
Herbrand's theorem
Infinitary languages
Lindström’s theorem
Logic computer science
Mathematical logic
Mathematical provability
Model theory logic
Presburger arithmetic
Propositional logic
Second order logic
Trakhtenbrot’s theorem
Weak monadic second order
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0274931
Ebbinghaus, Heinz-Dieter  
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
Autore Ebbinghaus, Heinz-Dieter
Edizione [2. ed.]
Pubbl/distr/stampa New York [etc.] : Springer, c1994
Descrizione fisica X, 289 p. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Flum, Jörg
Thomas, W.
Collana Undergraduate texts in mathematics
Soggetto topico Logica simbolica
Logica matematica
ISBN 0-387-94258-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000015205
Ebbinghaus, Heinz-Dieter  
New York [etc.] : Springer, c1994
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
Autore Ebbinghaus, Heinz-Dieter
Edizione [2. ed]
Pubbl/distr/stampa New York, : Springer, 1994
Descrizione fisica X, 289 p. : ill. ; 24 cm.
Altri autori (Persone) Flum, Jörg
Thomas, Wolfgang <1947- >
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 03-87942-58-0
978-03-87942-58-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055788
Ebbinghaus, Heinz-Dieter  
New York, : Springer, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
Autore Ebbinghaus, Heinz-Dieter
Edizione [2. ed]
Pubbl/distr/stampa New York, : Springer, 1994
Descrizione fisica X, 289 p. : ill. ; 24 cm
Altri autori (Persone) Flum, Jörg
Thomas, Wolfgang <1947- >
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 03-87942-58-0
978-03-87942-58-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0055788
Ebbinghaus, Heinz-Dieter  
New York, : Springer, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
Autore Ebbinghaus, Heinz-Dieter
Pubbl/distr/stampa New York [etc.] : Springer, c1984
Descrizione fisica IX, 216 p. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Flum, Jörg
Thomas, W.
Collana Undergraduate texts in mathematics
Soggetto topico Logica simbolica
Logica matematica
ISBN 0-387-90895-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000015196
Ebbinghaus, Heinz-Dieter  
New York [etc.] : Springer, c1984
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Topological model theory / Jörg Flum, Martin Ziegler
Topological model theory / Jörg Flum, Martin Ziegler
Autore Flum, Jörg
Pubbl/distr/stampa Berlin [etc.] : Springer, 1980
Descrizione fisica X, 149 p. ; 25 cm.
Disciplina 515.73
Altri autori (Persone) Ziegler, Martin
Collana Lecture notes in mathematics
Soggetto topico Spazi topologici
ISBN 3-540-09732-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000012998
Flum, Jörg  
Berlin [etc.] : Springer, 1980
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Topological model theory / Jorg Flum, Martin Ziegler
Topological model theory / Jorg Flum, Martin Ziegler
Autore Flum, Jörg
Pubbl/distr/stampa Berlin, : Springer, 1980
Descrizione fisica X, 149 p. ; 24 cm.
Altri autori (Persone) Ziegler, Martin
Soggetto topico 03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03B60 - Other nonclassical logic [MSC 2020]
03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020]
12Lxx - Connections between field theory and logic [MSC 2020]
ISBN 978-35-400-9732-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0094210
Flum, Jörg  
Berlin, : Springer, 1980
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui